#include <unistd.h>
#include <stdio.h>
#include "restart.h"


int main(void){
	int numbytes;

	numbytes = copyfile(STDIN_FILENO, STDOUT_FILENO);
	fprintf(stderr, "Number of bytes copied: %d\n", numbytes);
	return 0;
}
